Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
781	Perl versiondocumentation - perlhacktut NAME perlhacktut - Walk through the creation of a simple C code patch DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:09:43 Character encoding Formal languages Punctuation Pattern matching Regular expressions Perl Printf format string UTF-8 Unicode Computing Software engineering Notation
782	Attendee information Seven Lectures on Statistical Parsing Christopher Manning LSA Linguistic Institute 2007 LSA 354 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-07-13 16:00:00 Grammar Syntax CYK algorithm Bottom-up parsing Phrase structure rules NP Stochastic context-free grammar Left corner Theoretical computer science Complexity classes Formal languages
783	Perl versiondocumentation - perlclib NAME perlclib - Internal replacements for standard C library functions DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 16:06:42 Cross-platform software Procedural programming languages C programming language Formal languages C file input/output C Perl String Daylight saving time Computing Software C Standard Library
784	Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-05-07 20:34:22 Model theory Formal languages Constraint programming Logical syntax Interpretation Constructible universe Well-formed formula Satisfiability Function Logic Mathematics Mathematical logic
785	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
786	Head-Driven Statistical Models for Natural Language Parsing Michael Collins∗ MIT Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 18:49:53 Computational linguistics Stochastic context-free grammar Treebank Parsing CYK algorithm Parse tree Formal grammar Context-free grammar Statistical parsing Formal languages Natural language processing Linguistics
787	Course logistics in brief Seven Lectures on Statistical Parsing • Instructor: Christopher Manning • • Office hours: Thu 10–12 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-07-06 14:53:24 Programming language implementation Science Statistical natural language processing Computational linguistics Parsing Bottom-up parsing Top-down parsing Statistical parsing Treebank Formal languages Linguistics Compiler construction
788	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:30 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
789	Transformation Rules for Z Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:36:02 Automated theorem proving Logic programming Unification First-order logic Regular expression Z notation Cyc Rule of inference Logic Mathematical logic Formal languages
790	1. Generalized CKY Parsing Treebank empties and unaries Seven Lectures on Statistical Parsing Christopher Manning LSA Linguistic Institute 2007 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-07-17 10:50:22 Formal languages Theoretical computer science Treebank Parsing Stochastic context-free grammar Parse tree NP CYK algorithm Linguistics Computational linguistics Science

UPDATE